Free shipping on all orders! No minimum purchase required.
Software Engineering and Formal Methods
by Carlos Canal (Editor), Akram Idani (Editor)
